automata theory
英 [ɔːˈtɒmətə ˈθɪəri]
美 [ɔˈtɑmətə ˈθiːəri]
网络 自动化理论; 自动机理论; 自动机; 自动理论
双语例句
- The subjects studied in such a course include automata theory, formal languages, and models of computation.
这些课程讲述自动机、本科生标准导论形式语言和计算模型的理论。 - Existing complexity proofs on the circularity problem of AGs are based on automata theory, such as writing pushdown acceptor and alternating Turing machines.
目前对属性文法循环性问题复杂度的证明，多基于自动机理论，如写入推出接受器、交替涂林机等。 - Research on Consistency of UML Models Based on Automata Theory
基于自动机理论的UML模型一致性研究 - Research on Cellular Automata Theory and Its Application in Cryptography
元胞自动机原理及其在密码学的应用研究 - State machine theory is a research direction of finite automata theory.
状态机理论是有限自动机理论的一个研究方向。 - Boolean Algebra and Automata Theory over Boolean Algebra
布尔代数和布尔代数上的自动机 - The main innovative works are: ( 1) TAN ( Timed Automata Network) model is proposed to deal with train control system and the formal definition and characters are given based on finite automata theory.
针对轨道交通列车运行控制系统的特点，在有限自动机模型的基础上提出时间自动机网络模型，并且给出模型的形式化定义和相关特性，提出时间自动机网络模型的形式化描述语言TAN语言。 - Moreover, this paper also introduces the application of cellular automata theory model in the medical-image segmentation.
除此之外，本文也对元胞自动机理论模型在医学图像分割中的应用作了介绍。 - The highway toll collector system was researched by using the finite automata theory.
利用有穷自动机理论研究了高速公路收费站的收费系统。 - CHINESE CHARACTER FINITE AUTOMATA THEORY The Theory of Cellular Automata and It's Application in Cryptography
细胞自动机理论及其在密码中的应用 - The paper gives the design and implementation of Monternet business based on USSD, by Automata Theory and Java Multithreading Technology. Compare with SMS Monternet, the system is more preponderant and provides most text alternate services about Monternet.
与传统短信方式的移动梦网相比，本文通过有限状态自动机理论和Java多线程技术，设计开发的USSD移动梦网业务更具优势，该系统能涵盖绝大部分移动梦网文字交互类服务。 - Application of tree automata theory in XML
树自动机理论在XML中的应用 - This paper introduces the significance of sub-title recognition in natural language processing, and presents the recognition method of sub-title with label using regular expression and automata theory.
介绍了小标题识别在中文信息处理领域中的重要意义，提出了用正规式和自动机理论进行有标号小标题识别的方法。 - Based on the max-plus algebraic model, referring to automata theory and lattice theory, by the definitions of conjunctive and disjunctive functions, a supervisory controller was put forward.
在极大代数模型基础上，借鉴自动机理论和格理论，通过定义保并映射和保交映射等概念，提出了一种监控器设计方法。 - The series papers systematically discuss the computability and the computational capacity of DNA molecular using the formal language and automata theory.
本系列文章应用形式语言及自动机理论技术，系统地探讨了DNA分子的可计算性及其计算能力。 - Automata theory is the basic of research of algorithm description and analysis, the theory of computation complexity, and computability, etc.
自动机理论是算法描述和分析，计算复杂性理论，可计算性等研究的基础，它为计算理论提供了可靠的数学模型。 - It has very important application in formal languages and automata theory, the reachability of graphics and the route optimization.
它在形式语言与自动机理论、图的可达性和路径优化等方面都有很重要的应用。 - With the development of electronic technology and the information theory, automata theory goes into every area of information technology, and provides theoretical models, design technology and algorithm to them.
随着微电子技术和信息科学的发展，自动机理论向信息技术的各个应用领域渗透，为它们提供理论模型、设计技术和运行算法。 - The physical cellular automata theory gives a new idea for studying rock failure.
物理元胞自动机理论为岩石的破坏研究提供了一种新的研究思路。 - Therefore, the study of the relationships of some kinds of automata with truth-values in a lattice-ordered monoid and the study of the algebraic properties of their languages form two very important subjects in fuzzy automata theory.
因此，对取值于格半群的自动机极及其语言性质的研究是格值自动机理论的一个重要课题，而对不同类型格值自动机之间的关系及其语言代数性质的研究更是其中一个重要方面。 - Based on the cellular automata theory, a new method of designing irregular weave by computer is introduced.
以细胞自动机理论为基础，提出了不规则组织计算机辅助设计的新思路。 - Security analyses of a variant of a new block cipher system ( called CAC) based on cellular automata theory are given using two cryptanalytic approaches. The results show that this variant of CAC is very insecure under chosen-plaintext attacks.
利用两种方法对一个基于细胞自动机的分组密码系统CAC的变形进行了分析，结果表明：CAC的这种变形在选择明文攻击下是极不安全的。 - Product is one of the basic operations of automata theory, which plays a prominent role both in theory and application.
乘积是自动机理论中的基本运算之一，在理论和应用方面都占有重要的地位。 - The paper discusses the ideas and methods to build the traffic model based on cellular automata theory.
论文分析讨论了基于元胞自动机的车辆换道模型构建的思路和方法。 - The fifth part of the paper based on cellular automata theory, research set in the intersection between two adjacent bus stop capacity and bus stop on the impact of the capacity of signalized intersections based on the delay.
论文的第五部分基于元胞自动机理论，研究了设置在两相邻交叉口之间公交停靠站对通行能力影响，以及基于延误分析了公交停靠站对信号交叉口的通行能力影响。 - The complex traffic flow of urban railway traffic was studied with the cellular automata theory.
本文利用元胞自动机理论，对城市轨道交通系统中复杂的交通流现象进行研究。 - Recently, the Cellular Automata Theory has been applied into vehicle traffic and pedestrian evacuation.
近年来元胞自动机广泛应用于机动车交通、行人流的研究。 - The study involved in automata theory, parallel computing model, parallel storage structure, algorithm complexity, parallel algorithm design, data structure, multi-task processor and optimize technology.
这一问题的研究涉及自动机理论、并行计算模型、并行存储结构、算法复杂度、并行算法设计、数据结构、多处理机任务分配、优化技术等。 - This robot is a nonlinear, serious coupling, multivariable and natural unstable system. The control theory, kinematics, electronics and automata theory are combined in the system.
该机器人系统具有非线性、强耦合、多变量、自然不稳定等多种特点，是控制理论、运动学、电子学、自动化等多种学科综合运用的科技成果，已成为各国科学家的重点研究对象。 - Then, the space-time evolution rules of Logistics Park are analyzed and examined according to the cellular automata theory. Some feasible suggestions are proposed.
其次，运用元胞自动机理论对物流园区的时空演化规律和演化轨迹进行了分析和探讨，并提出了一些可行性建议。